a -> Writer b